looping verification

looping verification
верификация методом обратной передачи

Англо-русский словарь по компьютерной безопасности. . 2011.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "looping verification" в других словарях:

  • SP-DEVS — abbreviating Schedule Preserving Discrete Event System Specification is a formalism for modeling and analyzing discrete event systems in both simulation and verification ways. SP DEVS also provides modular and hierarchical modeling features which …   Wikipedia

  • Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline …   Wikipedia

  • Geometer moth — Temporal range: Priabonian to Recent 35–0 Ma …   Wikipedia

  • University of Texas at Dallas — Infobox University name = University of Texas at Dallas motto = Disciplina praesidium civitatis (Latin: Cultivated mind is the guardian genius of democracy) [cite web url=http://www.utsystem.edu/bor/history.htm#C title=History of the U. T. System …   Wikipedia

  • Design closure — is the process by which a VLSI design is modified from its initial description to meet a growing list of design constraints and objectives. Every step in the IC design (such as static timing analysis, placement, routing, and so on) is already… …   Wikipedia

  • Parapentes — Parapente Le parapente est un aéronef dérivé du parachute, permettant la pratique du vol libre. De nos jours, son utilisation, qui constitue un loisir et un sport, est indépendante du parachutisme et se rapproche plus d autres sports aériens… …   Wikipédia en Français

  • Parapentiste — Parapente Le parapente est un aéronef dérivé du parachute, permettant la pratique du vol libre. De nos jours, son utilisation, qui constitue un loisir et un sport, est indépendante du parachutisme et se rapproche plus d autres sports aériens… …   Wikipédia en Français

  • Parapentistes — Parapente Le parapente est un aéronef dérivé du parachute, permettant la pratique du vol libre. De nos jours, son utilisation, qui constitue un loisir et un sport, est indépendante du parachutisme et se rapproche plus d autres sports aériens… …   Wikipédia en Français

  • Halting problem — In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a… …   Wikipedia

  • Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… …   Wikipedia

  • MAME — Developer(s) Nicola Salmoria and the MAME Team Initial release February 5, 1997; 14 years ago (1997 02 05) …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»